Galois stratification and ACFA
نویسندگان
چکیده
منابع مشابه
Galois stratification and ACFA
We prove a direct image theorem stating that the direct image of a Galois formula by a morphism of difference schemes is equivalent to a Galois formula modulo the theory ACFA of existentially closed difference fields. As a consequence, we obtain an effective quantifier elimination procedure and a precise algebraic-geometric description of definable sets over existentially closed difference fiel...
متن کاملAcfa and Measurability
We show that definable sets of finite S1-rank in algebraically closed fields with an automorphism can be measured.
متن کاملGALOIS STRATIFICATION OVER e-FOLD ORDERED FROBENIUS FIELDS
I n t r o d u c t i o n A field M is said to be p s e u d o a l g e b r a i c a l l y c l o s e d (PAC) if every absolutely irreducible variety over M has an M-ra t iona l point. A F r o b e n i u s field is a PAC field with the embedding property. Developing the method of Galois stratif ication introduced in [FS], M. Fried, M. Jarden, and the first author established a decision procedure for F...
متن کاملGALOIS p-GROUPS AND GALOIS MODULES
The smallest non-abelian p-groups play a fundamental role in the theory of Galois p-extensions. We illustrate this by highlighting their role in the definition of the norm residue map in Galois cohomology. We then determine how often these groups — as well as other closely related, larger p-groups — occur as Galois groups over given base fields. We show further how the appearance of some Galois...
متن کاملRight-projective Hulls and Galois Galois Theory
Let N be a bijective measure space. D. Sasaki’s classification of positive definite, globally universal domains was a milestone in homological Galois theory. We show that |O| ≤ K. The groundbreaking work of H. Thomas on contra-arithmetic planes was a major advance. Recent developments in analytic group theory [36, 36] have raised the question of whether Fréchet’s conjecture is false in the cont...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 2015
ISSN: 0168-0072
DOI: 10.1016/j.apal.2015.01.001